Large ABox Store (LAS): Database Support for TBox Queries
نویسندگان
چکیده
Large ABox Store (LAS): Database Support for TBox Queries Jiaoyue Wang Large ABox Store (LAS) extends the DL reasoner Racer with a database. LAS stores the given information about a TBox, a taxonomy, and ABox in a database, and answers most TBox and ABox queries by combining SQL queries with DL reasoning. The main feature of our system is that it can deal with ABox role assertions. Acting as a filter for Racer, LAS speeds up the TBox and ABox queries. The main techniques exploited in LAS are the pseudo model merging test technique, and the transitive closure algorithm implemented by Oracle 9i. This thesis presents the design, theories and implementation of the LAS system, and it mainly addresses the database support for TBox queries in LAS. A user-friendly interface is designed to facilitate users to implement many kinds of queries. More complex querying functions can be integrated into this system in the future.
منابع مشابه
LAS: Extending Racer by a Large ABox Store
Recently, several approaches have been proposed on combining description logic (DL) reasoning with database techniques. In this paper we report on the LAS (Large Abox Store) system extending the DL reasoner Racer with a database used to store and query Tbox and Abox information. LAS stores for given knowledge bases their taxonomy and their complete Abox in its database. The Aboxes may contain r...
متن کاملImplementing the Instance Store
We describe the implementation of the instance store, a DL system using a combination of TBox reasoning and database queries to perform efficient and scalable role-free ABox reasoning.
متن کاملLarge Abox Store (LAS): Database Support for Abox Queries
Complies with the regulations of the university and meets the accepted standards with respect to originality and quality. The semantic web has drawn the attention from both academic and industry. Description Logics (DLs), a family of formal languages for representing knowledge and supporting reasoning about it, is regarded as a suitable tool that supports the semantic web and enables its data t...
متن کاملCombined FO Rewritability for Conjunctive Query Answering in DL-Lite
Standard description logic (DL) reasoning services such as satisfiability and subsumption mainly aim to support TBox design. When the design has been completed and the TBox is used in an actual application, it is usually combined with instance data stored in an ABox, and therefore query answering becomes the most important reasoning service. In this context, conjunctive queries (CQs) have becom...
متن کاملApply Uncertainty in Document-Oriented Database (MongoDB) Using F-XML
As moving to big data world where data is increasing in unstructured way with high velocity, there is a need of data-store to store this bundle amount of data. Traditionally, relational databases are used which are now not compatible to handle this large amount of data, so it is needed to move on to non-relational data-stores. In the current study, we have proposed an extension of the Mongo...
متن کامل